("x" = "x" $\sim$ tt) \& ("x" = "y" $\sim$ ff)